automatic type promotion in java